Pure Type Systems revisited Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology The Netherlands

Source URL: www.cs.ru.nl

• Lambda calculus
• Type theory
• Combinatory logic
• Pure type system
• Lambda cube
• Fixed-point combinator
• Calculus of constructions
• Explicit substitution
• Natural deduction

First-Order Logic vs. Fixed-Point Logic in Finite Set Theory Albert Atserias Computer Science Department University of California Santa Cruz, CA 95064

Source URL: www.cs.upc.edu

Pure and Applied Fixed-Point Logics Stephan Kreutzer RWTH Aachen 1 Einleitung In der Entwicklung der Informatik, besonders der theoretischen Informatik, haben formale

Source URL: subs.emis.de

Lowell Abrams* (). Fixed-point rotation families of cellular automorphisms. A fixed-point rotation family is a one-parameter family of cellular automorphisms of cellularly embedded graphs which

Source URL: jointmathematicsmeetings.org

MANIFOLDS OF LOW COHOMOGENEITY AND POSITIVE RICCI CURVATURE Stefan Bechtluft-Sachsa and David J. Wraithb Abstract: We classify compact asystatic G-manifolds with fixed point singular orbits in cohomogeneity ≤ 3 up to e

Source URL: archive.maths.nuim.ie

Some computational aspects of metric fixed point theory Ulrich Kohlenbach Department of Mathematics Darmstadt University of Technology Schlossgartenstraße 7

Source URL: www.mathematik.tu-darmstadt.de

Entropy Numbers of Spheres in Banach and quasi-Banach spaces

Source URL: arxiv.org

• Mathematical analysis
• Mathematics
• Functional analysis
• Information theory
• Sequence space
• Banach space
• Entropy
• Metric geometry
• Banach fixed-point theorem
• BanachMazur compactum

Solving fixed-point equations on semirings Javier Esparza ¨ Munchen Technische Universitat ¨

Source URL: www.lsv.ens-cachan.fr

PDF Document

Source URL: gcoe.math.kyoto-u.ac.jp

• Iwase
• Asaoka
• Fixed-point property
• Mimura
• Imms
• Kyoto

EPJ Web of Conferences 77 , DOI: epjconf  C Owned by the authors, published by EDP Sciences, 2014 Construction and in-situ characterisation of high-temperature fixed point

Source URL: www.epj-conferences.org